/*
 * Copyright (c) 2024 iSOFT INFRASTRUCTURE SOFTWARE CO., LTD.
 * easyAda is licensed under Mulan PubL v2.
 * You can use this software according to the terms and conditions of the Mulan PubL v2.
 * You may obtain a copy of Mulan PubL v2 at:
 *          http://license.coscl.org.cn/MulanPubL-2.0
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
 * See the Mulan PubL v2 for more details.
 */
#ifndef HALINTERRUPT_H
#define HALINTERRUPT_H
#include <stdlib/stdint.h>
#include <plat/device.h>

void interrupt_init_controller(void);
void interrupt_init_local_controller(void);
void interrupt_sgi_trigger(unsigned int id, int security, unsigned int filter, unsigned char cpulist);
uint32_t interrupt_acknowledge(void);
void interrupt_irq_enable(uint32_t irqn);
void interrupt_irq_disable(uint32_t irqn);
void interrupt_irq_ack(unsigned int irqn);
void interrupt_irq_finish(unsigned int irqn);

#endif
